In the absence of a fade-out it doesn't make sense to clip them sooner
than that.
So now we make the left and right padding equal to the border
("box-shadow") width and leave the top/bottom padding unchanged.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3031>
.app-folder-dialog {
border-radius: $modal_radius*4;
background-color: $system_overlay_bg_color;
- padding: $base_padding*2;
- box-shadow:inset 0 0 0 1px $system_borders_color;
@if $is_highcontrast {
- box-shadow:inset 0 0 0 2px $hc_inset_color;
+ padding: $base_padding*2 2px $base_padding*2 2px;
+ box-shadow: inset 0 0 0 2px $hc_inset_color;
+ } @else {
+ padding: $base_padding*2 1px $base_padding*2 1px;
+ box-shadow: inset 0 0 0 1px $system_borders_color;
}
& .folder-name-container {